Benchmarking DL Reasoners Using Realistic Ontologies
نویسنده
چکیده
We did a preliminary benchmark on DL reasoners using real world OWL ontologies. First hand experiences on OWL ontologies and reasoning services available to OWL are described and discussed.
منابع مشابه
Modular Combination of Reasoners for Ontology Classification
Classification is a fundamental reasoning task in ontology design, and there is currently a wide range of reasoners highly optimised for classification of SROIQ ontologies. Existing reasoners, however, do not exploit the fact that most of the axioms in many realistic SROIQ ontologies are expressed in some lightweight DL, such as EL. In this paper, we propose a novel reasoning technique that all...
متن کاملEvaluation of Ontologies and DL Reasoners
Ontology driven architecture has revolutionized the inference system by allowing interoperability and efficient reasoning between heterogeneous multivendors systems. Sound reasoning support is highly important for sound semantic web ontologies which can only be possible if state-of-the-art Description Logic Reasoners were capable enough to identify inconsistency and classify taxonomy in ontolog...
متن کاملA Power Consumption Benchmark for Reasoners on Mobile Devices
We introduce a new methodology for benchmarking the performance per watt of semantic web reasoners and rule engines on smartphones to provide developers with information critical for deploying semantic web tools on power-constrained devices. We validate our methodology by applying it to three well-known reasoners and rule engines answering queries on two ontologies with expressivities in RDFS a...
متن کاملA Rigorous Characterization of Classification Performance - A Tale of Four Reasoners
A number of ontology reasoners have been developed for reasoning over highly expressive ontology languages such as OWL DL and OWL 2 DL. Such languages have, as a consequence of high expressivity, high worst-case complexity. Therefore, reasoning tasks such as classification sometimes take considerable time on large and complex ontologies. In this paper, we carry out a comprehensive comparative s...
متن کاملOptimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach
This paper describes the first steps towards developing a methodology for testing and evaluating the performance of reasoners for the probabilistic description logic P-SHIQ(D). Since it is a new formalism for handling uncertainty in DL ontologies, no such methodology has been proposed. There are no sufficiently large probabilistic ontologies to be used as test suites. In addition, since the rea...
متن کامل